Tree model - PDFSEARCH.IO - Document Search Engine

Tree model
Results: 571

#	Item
511	Using the Karp-Miller Tree Construction to Analyse Concurrent Finite-State Programs Haoxian Zhao Kellogg College Add to Reading List Source URL: www.cprover.org Language: English - Date: 2009-10-06 05:27:24 Thread Model checking Distributed computing Reachability Deadlock Computer programming Software engineering Computing Concurrency Concurrent computing
512	MEMICS[removed]A Practical Approach to Courcelle’s Theorem 1 Add to Reading List Source URL: tcs.rwth-aachen.de Language: English - Date: 2010-01-20 04:43:33 Graph operations Tree decomposition Path decomposition First-order logic Tree FO Minor Model theory Dynamic programming Graph theory Mathematics Theoretical computer science
513	Combinatorial Optimization and Statistical Physics Phillip M. Duxbury, Condensed Matter Theory, MSU Add to Reading List Source URL: www.pa.msu.edu Language: English - Date: 2007-02-21 08:51:29 Combinatorial optimization Spanning tree Lattice models Network theory Ising model Cut Matching Maximum flow problem Shortest path problem Mathematics Theoretical computer science Graph theory
514	Corrections for Logic for Applications 2nd edition June, 2014 p[removed]: We begin by ...of the tree. –> We begin by de…ning a linear ordering n of each level n by induction on the levels. Suppose and are on level n + Add to Reading List Source URL: www.math.cornell.edu Language: English - Date: 2014-06-16 13:59:01 Propositional calculus Boolean algebra Proof theory Model theory Seattle Mariners all-time roster Logic Mathematical logic Mathematics
515	CHAINS AND ANTICHAINS IN PARTIAL ORDERINGS VALENTINA S. HARIZANOV, CARL G. JOCKUSCH, JR., AND JULIA F. KNIGHT Abstract. We study the complexity of infinite chains and antichains in computable partial orderings. We show t Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2009-07-29 17:58:40 Order theory Computability theory Integer sequences Antichain Functions and mappings Computable function Tree Function Model theory Mathematics Mathematical logic Theory of computation
516	i i “p02c00˙bmc” — [removed] — 10:13 — page 457 — #3 i Add to Reading List Source URL: gauss.ececs.uc.edu Language: English - Date: 2011-07-05 08:44:48 Logic Logic in computer science Linear temporal logic Model checkers Model checking Computation tree logic Stable model semantics Modal logic SPIN model checker Temporal logic Theoretical computer science Mathematical logic
517	GBC: Gradient Boosting Consensus Model for Heterogeneous Data Xiaoxiao Shi∗ Jean-Francois Paiement† Add to Reading List Source URL: david.grangier.info Language: English - Date: 2014-05-19 17:20:06 Supervised learning Gradient boosting Decision tree learning Graph Database Geographic information system Cross-validation Learning to rank Flow network Machine learning Artificial intelligence Computational statistics
518	From XML View Updates to Relational View Updates: old solutions to a new problem Add to Reading List Source URL: www.vldb.org Language: English - Date: 2006-07-29 01:27:43 Database theory Query languages Database management systems Relational database management systems Relational database SQL Null Database B-tree Data management Computing Relational model
519	On Testing Satisfiability of Tree Pattern Queries Add to Reading List Source URL: www.vldb.org Language: English - Date: 2006-07-29 01:28:11 Logic First-order logic Model theory Predicate logic Datalog FO Decomposition method Constraint logic programming Theoretical computer science Mathematical logic Constraint programming
520	An Extension of the CHAID Tree-based Segmentation Algorithm to Multiple Dependent Variables Jay Magidson1 and Jeroen K. Vermunt2 1 2 Add to Reading List Source URL: www.statisticalinnovations.com Language: English - Date: 2009-01-30 12:07:07 Econometrics Categorical data Psychometrics CHAID Latent class model Multinomial logit Decision tree learning Latent variable Factor analysis Statistics Regression analysis Decision trees

UPDATE